boolean algebra simplification

visit shbcf.ru